Focused and Synthetic Nested Sequents